Integral of cos^2(x